failure 267:
Requirement failed: {localtime_r.01} The function shall convert the time in seconds into a local time
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/time_conversion_scenario.utz (time_conversion_scenario.utt), line 4565 |
| occurence |
| scenario |
time_conversion_scenario |
| specification function |
localtime_r_spec() |
| parameter value |
CallContext context = [pid=7529,thr=b74646c0] |
| parameter value |
TimeTObj * @timer = 1000 |
| parameter value |
TimeTObj * timer = 1000 |
| parameter value |
TmTObj * @result = struct TmTObj { sec=0, min=0, hour=0, mday=0, mon=0, year=0, wday=0, yday=0, isdst=0 } |
| parameter value |
TmTObj * result = struct TmTObj { sec=40, min=16, hour=3, mday=1, mon=0, year=70, wday=4, yday=0, isdst=0 } |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(TmTObj *) struct TmTObj { sec=40, min=16, hour=3, mday=1, mon=0, year=70, wday=4, yday=0, isdst=0 } |
coverage
& branch |
C_Priority
Process with high priority |
| properties |
| REQ failed |
localtime_r.01 |
| kind |
POSTCONDITION_FAILED |
|